منابع مشابه
Touch it, Mine it, View it, Shape it
To benefit from the large amounts of data, gathered in more and more application domains, analysis techniques like clustering have become a necessity. As their application expands, a lot of unacquainted users come into contact with these techniques. Unfortunately, most clustering approaches are complex and/or scenario specific, which makes clustering a challenging domain to access. In this demo...
متن کاملResearch impact: defining it, measuring it, maximising it, questioning it
Both in the UK and more widely, the higher education sector is under pressure from the government to demonstrate that it makes a difference. That aside, few of us want to be the kind of academic that sits in an ivory tower thinking clever thoughts while Rome burns below. As Karl Marx said, many academics only interpret the world, but the true purpose of scholarship is to change it. The ‘impact ...
متن کاملWork it, wrap it, fix it, fold it
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this paper we show how these two approaches can be generalised in a uniform manner by combining their correctness condition...
متن کاملClinical Reasoning: Defining It, Teaching It, Assessing It, Studying It
Defining it Like the fable of the blind men and the elephant, each of whom, feeling a different part of the elephant, described it in very different ways, clinical reasoning is a vast, complex construct that is described and used in different ways by different people. There is no generally accepted definition of clinical reasoning and, indeed, many articles about clinical reasoning never define...
متن کامل0 Work It , Wrap It , Fix It , Fold It
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance, without compromising their correctness. The two previous approaches to formalising the technique were based upon different recursion operators, and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform mann...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American College of Cardiology
سال: 2013
ISSN: 0735-1097
DOI: 10.1016/j.jacc.2012.12.027